Export Citations
2 Results for: Keyword: Algebraic Program Analysis
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Full-Text Collection (775,097 records)|Expand your search to The ACM Guide to Computing Literature (3,843,041 records)
Select All
- research-articleJanuary 2025
An Incremental Algorithm for Algebraic Program Analysis
Proceedings of the ACM on Programming Languages (PACMPL), Volume 9, Issue POPLArticle No.: 65, Pages 1934–1961https://doi.org/10.1145/3704901We propose a method for conducting algebraic program analysis (APA) incrementally in response to changes of the program under analysis. APA is a program analysis paradigm that consists of two distinct steps: computing a path expression that succinctly ...
- research-articleApril 2024
Newtonian Program Analysis of Probabilistic Programs
Proceedings of the ACM on Programming Languages (PACMPL), Volume 8, Issue OOPSLA1Article No.: 105, Pages 305–333https://doi.org/10.1145/3649822Due to their quantitative nature, probabilistic programs pose non-trivial challenges for designing compositional and efficient program analyses. Many analyses for probabilistic programs rely on iterative approximation. This article presents an ...
